<?php 
 include_once dirname(__FILE__)."/config.php";
 class mise_jour extends mise_jour_principal{
}
?>